2

Design and evaluation of virtual home objects with music interaction in smart homes

Year:
2012
Language:
english
File:
PDF, 1.94 MB
english, 2012
10

Probabilistic fuzzy timed protocol verification

Year:
1996
Language:
english
File:
PDF, 2.02 MB
english, 1996
15

ECFSM-based probabilistic protocol verification

Year:
1995
Language:
english
File:
PDF, 737 KB
english, 1995
20

A modified transition tour protocol test method

Year:
1994
Language:
english
File:
PDF, 2.09 MB
english, 1994